($\lambda$$g$,$z$. $\mid$$g$$\mid$) $\in$ GrpSig$\rightarrow$($\downarrow$True)$\rightarrow$Type